中段反导指挥控制能力生成机理及构成分析

提出了中段反导指挥控制能力生成的要素基础建设机理、要素集成聚优机理和要素联动涌效机理,构建了中段反导指挥控制能力总体构成框架,并对作战能力具体构成进行了分析,可为反导指挥控制系统建设及作战效能评估提供借鉴。     

作战需求分析方法研究

作战需求分析方法研究是指总结现有作战需求分析方法,研究适应现代战争要求的新的作战需求分析方法.通过分析国内外作战需求分析的理论和方法,并针对作战需求分析的各问题域展开研究,提出了"面向威胁、基于能力"的作战需求分析方法,并对其研究思路、基本方法和研究内容进行了探讨.该方法按照"目的-任务-构想-能力"的顺序进行分析,用"价值中心法"分析目标、任务与能力之间的映射关系,用探索性仿真方法分析不同构想情况下的能力需求,可以为战略规划、作战运筹、武器装备发展等提供方法和决策支持.     

C~4ISR系统需求一致性开发方法

C~4ISR系统是复杂大系统,C~4ISR系统需求工程的建设需要建立一套完整的C~4ISR系统需求体系框架和开发方法论.对C~4ISR系统需求的开发方法进行了研究,按照C~4ISR系统需求的层次,结合系统体系结构的开发方法,提出C~4ISR系统需求的分析开发过程和基于UML的模型表述方法;为保证需求模型的一致性,提出C~4ISR系统需求开发的一致性策略.     

Exact algorithms for scheduling multiple families of jobs on parallel machines

In many practical manufacturing environments, jobs to be processed can be divided into different families such that a setup is required whenever there is a switch from processing a job of one family to another job of a different family. The time for setup could be sequence independent or sequence dependent. We consider two particular scheduling problems relevant to such situations. In both problems, we are given a set of jobs to be processed on a set of identical parallel machines. The objective of the first problem is to minimize total weighted completion time of jobs, and that of the second problem is to minimize weighted number of tardy jobs. We propose column generation based branch and bound exact solution algorithms for the problems. Computational experiments show that the algorithms are capable of solving both problems of medium size to optimality within reasonable computational time. © 2003 Wiley Periodicals, Inc. Naval Research Logistics 50: 823–840, 2003.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

确定初级分布式战术C~3I系统体系结构的方法

集中说明了虚拟技术在系统建模、计算机系统以及组网连接上的应用,重点探讨了在虚拟技术基础上构建初级分布式战术Ｃ３Ｉ系统体系结构的原理和方法。是文献〔１〕的续文     

需求开发的WRSPM参考模型研究

针对需求开发过程中涉及到的系统以及各系统之间的关系,提出了需求开发的WRSPM五元素参考模型,对参考模型中元素和元素之间的关系进行了较明确的定义,做出对参考模型的形式化描述。比较分析了将WRSPM参考模型与功能文档描述模型(FDM),并得出了参考模型的特点。     

坦克动力舱空气流动计算区域的网格生成

为了合理解决网格划分对坦克动力舱空气流动与传热三维数值计算效率和计算精度的影响,特提出动力舱空气流动计算区域的网格生成方法.对某型坦克动力舱的网格生成实例,显示了这种方法的实用性.     

Flow shop scheduling with earliness,tardiness, and intermediate inventory holding costs

We consider the problem of scheduling customer orders in a flow shop with the objective of minimizing the sum of tardiness, earliness (finished goods inventory holding), and intermediate (work‐in‐process) inventory holding costs. We formulate this problem as an integer program, and based on approximate solutions to two different, but closely related, Dantzig‐Wolfe reformulations, we develop heuristics to minimize the total cost. We exploit the duality between Dantzig‐Wolfe reformulation and Lagrangian relaxation to enhance our heuristics. This combined approach enables us to develop two different lower bounds on the optimal integer solution, together with intuitive approaches for obtaining near‐optimal feasible integer solutions. To the best of our knowledge, this is the first paper that applies column generation to a scheduling problem with different types of strongly ????‐hard pricing problems which are solved heuristically. The computational study demonstrates that our algorithms have a significant speed advantage over alternate methods, yield good lower bounds, and generate near‐optimal feasible integer solutions for problem instances with many machines and a realistically large number of jobs. © 2004 Wiley Periodicals, Inc. Naval Research Logistics, 2004.     

基于XML的装备作战需求建模数据抽取

武器装备作战需求建模数据是作战需求分析的基础。针对当前武器装备作战需求建模缺乏对建模数据有效管理的现状,提出了基于XML的作战需求建模数据抽取方法。充分利用XSLT在解决文档转换问题上的优势,使其与XPath相结合生成抽取规则,生成结构良好的建模数据文档。